Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln
نویسندگان
چکیده
Seit dem Aufkommen der Unified Modeling Language (UML) wurden unterschiedliche Ansätze vorgestellt diese formal zu spezifizieren. Eine wohldefinierte formale Semantik der UML führt unter anderem zu einer höheren Interoperabilität zwischen verschiedenen Modellierungswerkzeugen, da Intepretationsspielräume verringert werden. Zum einen führt dies zu einer verbesserten Austauschbarkeit von Werkzeugen, was die Flexibilität eines modellgetriebenen Entwicklungsprozesses erhöht, zum anderen können Werkzeugketten aufgebaut werden, die verschiedene spezialisierte Werkzeuge, z. B. für Modell-zuModellund Modell-zu-Text-Transformationen, verwenden. Die Semantik von zentralen Konzepten der UML, wie Klassen, Assoziationen und Generalisierung, wurden z. B. mit mengentheoretischen oder graph-basierten Methoden definiert. Diesen Ansätzen ist gemein, dass sie den Sprachraum der UML verlassen und somit zusätzliche (formale) Beschreibungsmittel benötigen.
منابع مشابه
Zur Validierung von Kompositionsstrukturen in UML mit USE
In der Softwareentwicklung rücken Modelle zunehmend in den Fokus des Entwicklungsprozesses. Dadurch steigen auch die Anforderungen an deren Qualität. Mit dem an der Universität Bremen entwickelten UML/OCL-Werkzeug USE können bereits bestimmte Qualitätsaspekte von Modellen statisch und dynamisch analysiert werden. Dieser Artikel beschreibt neue Modellierungselemente der UML 2 und zeigt, welchen ...
متن کاملFG 2.1.9: Aufruf zur Einreichung von Beiträgen für den 7. Workshop des GI-Arbeitskreises GROOM UML-Erweiterungen (Profile) und Konzepte der Metamodellierung vom 4.-5. April 2000, Universität Koblenz-Landau
متن کامل
Eine formale Semantik für die Verknüpfung von Verhaltensbeschreibungen in der UML 2
State Machines In diesem Kapitel wird der Formalismus der Abstract State Machines (ASMs) eingeführt. Mit den ASMs kann das Verhalten eines Systems formal beschrieben werden, wie im nächsten Abschnitt erläutert wird. In dieser Arbeit werden die ASMs verwendet, um die formalen Semantiken der einzelnen UML 2 Modelle und die Semantik für deren Verknüpfung zu spezifizieren (siehe Kapitel 4). Für ein...
متن کاملiMOL: Ein experimentelles Werkzeug zur interaktiven Validierung von Softwaremodellen
Auch die neue Version 2 der Unified Modeling Language (UML) stellt keinen einheitlichen Modellierungsformalismus zur Verfügung, sondern enthält Ungereimtheiten und Unklarheiten; insbesondere fehlt ihr eine präzise Semantik [St04]. Einen ersten Schritt in Richtung auf eine Lösung würde eine Teilsprache mit formaler Semantik darstellen, die sowohl Korrektheitsbeweise (im Sinne einer Modellverifik...
متن کاملConstructing Automata for UML 2.0 Interactions
Model checking as a method for verifying system models has become widely used in software engineering recently. One important aspect of distributed systems that needs to be verified is the communication between different entities in the system. Several graphical languages have been proposed to model those aspects of computer systems. The Unified Modeling Language is one well known and widely us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015